3.40 \(\int \frac{\log ^2(e (f (a+b x)^p (c+d x)^q)^r)}{(g+h x)^2} \, dx\)

Optimal. Leaf size=832 \[ \frac{2 b p q \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x) r^2}{h (b g-a h)}+\frac{2 d p q \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right ) r^2}{h (d g-c h)}-\frac{2 d p q \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right ) r^2}{h (d g-c h)}-\frac{2 b p q \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right ) r^2}{h (b g-a h)}-\frac{2 b p^2 \log (a+b x) \log \left (\frac{b g-a h}{h (a+b x)}+1\right ) r^2}{h (b g-a h)}-\frac{2 d q^2 \log (c+d x) \log \left (\frac{d g-c h}{h (c+d x)}+1\right ) r^2}{h (d g-c h)}+\frac{2 b p^2 \text{PolyLog}\left (2,-\frac{b g-a h}{h (a+b x)}\right ) r^2}{h (b g-a h)}+\frac{2 d p q \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right ) r^2}{h (d g-c h)}-\frac{2 d p q \text{PolyLog}\left (2,-\frac{h (a+b x)}{b g-a h}\right ) r^2}{h (d g-c h)}+\frac{2 d q^2 \text{PolyLog}\left (2,-\frac{d g-c h}{h (c+d x)}\right ) r^2}{h (d g-c h)}+\frac{2 b p q \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right ) r^2}{h (b g-a h)}-\frac{2 b p q \text{PolyLog}\left (2,-\frac{h (c+d x)}{d g-c h}\right ) r^2}{h (b g-a h)}-\frac{2 b p \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) r}{h (b g-a h)}-\frac{2 d q \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) r}{h (d g-c h)}+\frac{2 b p \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x) r}{h (b g-a h)}+\frac{2 d q \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x) r}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)} \]

[Out]

(2*b*p*q*r^2*Log[-((d*(a + b*x))/(b*c - a*d))]*Log[c + d*x])/(h*(b*g - a*h)) + (2*d*p*q*r^2*Log[a + b*x]*Log[(
b*(c + d*x))/(b*c - a*d)])/(h*(d*g - c*h)) - (2*b*p*r*Log[a + b*x]*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[
e*(f*(a + b*x)^p*(c + d*x)^q)^r]))/(h*(b*g - a*h)) - (2*d*q*r*Log[c + d*x]*(p*r*Log[a + b*x] + q*r*Log[c + d*x
] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]))/(h*(d*g - c*h)) - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2/(h*(g + h*
x)) + (2*b*p*r*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r])*Log[g + h*x])/(h*(
b*g - a*h)) + (2*d*q*r*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r])*Log[g + h*
x])/(h*(d*g - c*h)) - (2*d*p*q*r^2*Log[a + b*x]*Log[(b*(g + h*x))/(b*g - a*h)])/(h*(d*g - c*h)) - (2*b*p*q*r^2
*Log[c + d*x]*Log[(d*(g + h*x))/(d*g - c*h)])/(h*(b*g - a*h)) - (2*b*p^2*r^2*Log[a + b*x]*Log[1 + (b*g - a*h)/
(h*(a + b*x))])/(h*(b*g - a*h)) - (2*d*q^2*r^2*Log[c + d*x]*Log[1 + (d*g - c*h)/(h*(c + d*x))])/(h*(d*g - c*h)
) + (2*b*p^2*r^2*PolyLog[2, -((b*g - a*h)/(h*(a + b*x)))])/(h*(b*g - a*h)) + (2*d*p*q*r^2*PolyLog[2, -((d*(a +
 b*x))/(b*c - a*d))])/(h*(d*g - c*h)) - (2*d*p*q*r^2*PolyLog[2, -((h*(a + b*x))/(b*g - a*h))])/(h*(d*g - c*h))
 + (2*d*q^2*r^2*PolyLog[2, -((d*g - c*h)/(h*(c + d*x)))])/(h*(d*g - c*h)) + (2*b*p*q*r^2*PolyLog[2, (b*(c + d*
x))/(b*c - a*d)])/(h*(b*g - a*h)) - (2*b*p*q*r^2*PolyLog[2, -((h*(c + d*x))/(d*g - c*h))])/(h*(b*g - a*h))

________________________________________________________________________________________

Rubi [A]  time = 0.93174, antiderivative size = 878, normalized size of antiderivative = 1.06, number of steps used = 35, number of rules used = 12, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.387, Rules used = {2498, 2513, 2411, 2344, 2301, 2317, 2391, 2418, 2394, 2393, 36, 31} \[ \frac{b p^2 \log ^2(a+b x) r^2}{h (b g-a h)}+\frac{d q^2 \log ^2(c+d x) r^2}{h (d g-c h)}+\frac{2 b p q \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x) r^2}{h (b g-a h)}+\frac{2 d p q \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right ) r^2}{h (d g-c h)}-\frac{2 b p^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right ) r^2}{h (b g-a h)}-\frac{2 d p q \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right ) r^2}{h (d g-c h)}-\frac{2 d q^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right ) r^2}{h (d g-c h)}-\frac{2 b p q \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right ) r^2}{h (b g-a h)}+\frac{2 d p q \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right ) r^2}{h (d g-c h)}-\frac{2 b p^2 \text{PolyLog}\left (2,-\frac{h (a+b x)}{b g-a h}\right ) r^2}{h (b g-a h)}-\frac{2 d p q \text{PolyLog}\left (2,-\frac{h (a+b x)}{b g-a h}\right ) r^2}{h (d g-c h)}+\frac{2 b p q \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right ) r^2}{h (b g-a h)}-\frac{2 d q^2 \text{PolyLog}\left (2,-\frac{h (c+d x)}{d g-c h}\right ) r^2}{h (d g-c h)}-\frac{2 b p q \text{PolyLog}\left (2,-\frac{h (c+d x)}{d g-c h}\right ) r^2}{h (b g-a h)}-\frac{2 b p \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) r}{h (b g-a h)}-\frac{2 d q \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) r}{h (d g-c h)}+\frac{2 b p \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x) r}{h (b g-a h)}+\frac{2 d q \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x) r}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)} \]

Antiderivative was successfully verified.

[In]

Int[Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2/(g + h*x)^2,x]

[Out]

(b*p^2*r^2*Log[a + b*x]^2)/(h*(b*g - a*h)) + (2*b*p*q*r^2*Log[-((d*(a + b*x))/(b*c - a*d))]*Log[c + d*x])/(h*(
b*g - a*h)) + (d*q^2*r^2*Log[c + d*x]^2)/(h*(d*g - c*h)) + (2*d*p*q*r^2*Log[a + b*x]*Log[(b*(c + d*x))/(b*c -
a*d)])/(h*(d*g - c*h)) - (2*b*p*r*Log[a + b*x]*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*x)^p*(c
+ d*x)^q)^r]))/(h*(b*g - a*h)) - (2*d*q*r*Log[c + d*x]*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*
x)^p*(c + d*x)^q)^r]))/(h*(d*g - c*h)) - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2/(h*(g + h*x)) + (2*b*p*r*(p*r*
Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r])*Log[g + h*x])/(h*(b*g - a*h)) + (2*d*q
*r*(p*r*Log[a + b*x] + q*r*Log[c + d*x] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r])*Log[g + h*x])/(h*(d*g - c*h))
- (2*b*p^2*r^2*Log[a + b*x]*Log[(b*(g + h*x))/(b*g - a*h)])/(h*(b*g - a*h)) - (2*d*p*q*r^2*Log[a + b*x]*Log[(b
*(g + h*x))/(b*g - a*h)])/(h*(d*g - c*h)) - (2*b*p*q*r^2*Log[c + d*x]*Log[(d*(g + h*x))/(d*g - c*h)])/(h*(b*g
- a*h)) - (2*d*q^2*r^2*Log[c + d*x]*Log[(d*(g + h*x))/(d*g - c*h)])/(h*(d*g - c*h)) + (2*d*p*q*r^2*PolyLog[2,
-((d*(a + b*x))/(b*c - a*d))])/(h*(d*g - c*h)) - (2*b*p^2*r^2*PolyLog[2, -((h*(a + b*x))/(b*g - a*h))])/(h*(b*
g - a*h)) - (2*d*p*q*r^2*PolyLog[2, -((h*(a + b*x))/(b*g - a*h))])/(h*(d*g - c*h)) + (2*b*p*q*r^2*PolyLog[2, (
b*(c + d*x))/(b*c - a*d)])/(h*(b*g - a*h)) - (2*b*p*q*r^2*PolyLog[2, -((h*(c + d*x))/(d*g - c*h))])/(h*(b*g -
a*h)) - (2*d*q^2*r^2*PolyLog[2, -((h*(c + d*x))/(d*g - c*h))])/(h*(d*g - c*h))

Rule 2498

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_)*((g_.) + (h_.)*(x_))^(
m_.), x_Symbol] :> Simp[((g + h*x)^(m + 1)*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s)/(h*(m + 1)), x] + (-Dist[(b
*p*r*s)/(h*(m + 1)), Int[((g + h*x)^(m + 1)*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1))/(a + b*x), x], x] -
Dist[(d*q*r*s)/(h*(m + 1)), Int[((g + h*x)^(m + 1)*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1))/(c + d*x), x]
, x]) /; FreeQ[{a, b, c, d, e, f, g, h, m, p, q, r, s}, x] && NeQ[b*c - a*d, 0] && IGtQ[s, 0] && NeQ[m, -1]

Rule 2513

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]*(RFx_.), x_Symbol] :> Dist[
p*r, Int[RFx*Log[a + b*x], x], x] + (Dist[q*r, Int[RFx*Log[c + d*x], x], x] - Dist[p*r*Log[a + b*x] + q*r*Log[
c + d*x] - Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r], Int[RFx, x], x]) /; FreeQ[{a, b, c, d, e, f, p, q, r}, x] &&
RationalFunctionQ[RFx, x] && NeQ[b*c - a*d, 0] &&  !MatchQ[RFx, (u_.)*(a + b*x)^(m_.)*(c + d*x)^(n_.) /; Integ
ersQ[m, n]]

Rule 2411

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + (g_.)*(x_))^(q_.)*((h_.) + (i_.)*(x_))
^(r_.), x_Symbol] :> Dist[1/e, Subst[Int[((g*x)/e)^q*((e*h - d*i)/e + (i*x)/e)^r*(a + b*Log[c*x^n])^p, x], x,
d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, h, i, n, p, q, r}, x] && EqQ[e*f - d*g, 0] && (IGtQ[p, 0] || IGtQ[
r, 0]) && IntegerQ[2*r]

Rule 2344

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_))), x_Symbol] :> Dist[1/d, Int[(a + b*
Log[c*x^n])^p/x, x], x] - Dist[e/d, Int[(a + b*Log[c*x^n])^p/(d + e*x), x], x] /; FreeQ[{a, b, c, d, e, n}, x]
 && IGtQ[p, 0]

Rule 2301

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))/(x_), x_Symbol] :> Simp[(a + b*Log[c*x^n])^2/(2*b*n), x] /; FreeQ[{a
, b, c, n}, x]

Rule 2317

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)), x_Symbol] :> Simp[(Log[1 + (e*x)/d]*(a +
b*Log[c*x^n])^p)/e, x] - Dist[(b*n*p)/e, Int[(Log[1 + (e*x)/d]*(a + b*Log[c*x^n])^(p - 1))/x, x], x] /; FreeQ[
{a, b, c, d, e, n}, x] && IGtQ[p, 0]

Rule 2391

Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> -Simp[PolyLog[2, -(c*e*x^n)]/n, x] /; FreeQ[{c, d,
 e, n}, x] && EqQ[c*d, 1]

Rule 2418

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*(RFx_), x_Symbol] :> With[{u = ExpandIntegrand[
(a + b*Log[c*(d + e*x)^n])^p, RFx, x]}, Int[u, x] /; SumQ[u]] /; FreeQ[{a, b, c, d, e, n}, x] && RationalFunct
ionQ[RFx, x] && IntegerQ[p]

Rule 2394

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Simp[(Log[(e*(f +
g*x))/(e*f - d*g)]*(a + b*Log[c*(d + e*x)^n]))/g, x] - Dist[(b*e*n)/g, Int[Log[(e*(f + g*x))/(e*f - d*g)]/(d +
 e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n}, x] && NeQ[e*f - d*g, 0]

Rule 2393

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))]*(b_.))/((f_.) + (g_.)*(x_)), x_Symbol] :> Dist[1/g, Subst[Int[(a +
 b*Log[1 + (c*e*x)/g])/x, x], x, f + g*x], x] /; FreeQ[{a, b, c, d, e, f, g}, x] && NeQ[e*f - d*g, 0] && EqQ[g
 + c*(e*f - d*g), 0]

Rule 36

Int[1/(((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))), x_Symbol] :> Dist[b/(b*c - a*d), Int[1/(a + b*x), x], x] -
Dist[d/(b*c - a*d), Int[1/(c + d*x), x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rubi steps

\begin{align*} \int \frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(g+h x)^2} \, dx &=-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{(2 b p r) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(a+b x) (g+h x)} \, dx}{h}+\frac{(2 d q r) \int \frac{\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{(c+d x) (g+h x)} \, dx}{h}\\ &=-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{\left (2 b p^2 r^2\right ) \int \frac{\log (a+b x)}{(a+b x) (g+h x)} \, dx}{h}+\frac{\left (2 b p q r^2\right ) \int \frac{\log (c+d x)}{(a+b x) (g+h x)} \, dx}{h}+\frac{\left (2 d p q r^2\right ) \int \frac{\log (a+b x)}{(c+d x) (g+h x)} \, dx}{h}+\frac{\left (2 d q^2 r^2\right ) \int \frac{\log (c+d x)}{(c+d x) (g+h x)} \, dx}{h}-\frac{\left (2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{(a+b x) (g+h x)} \, dx}{h}-\frac{\left (2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{(c+d x) (g+h x)} \, dx}{h}\\ &=-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{\left (2 p^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x \left (\frac{b g-a h}{b}+\frac{h x}{b}\right )} \, dx,x,a+b x\right )}{h}+\frac{\left (2 b p q r^2\right ) \int \left (\frac{b \log (c+d x)}{(b g-a h) (a+b x)}-\frac{h \log (c+d x)}{(b g-a h) (g+h x)}\right ) \, dx}{h}+\frac{\left (2 d p q r^2\right ) \int \left (\frac{d \log (a+b x)}{(d g-c h) (c+d x)}-\frac{h \log (a+b x)}{(d g-c h) (g+h x)}\right ) \, dx}{h}+\frac{\left (2 q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x \left (\frac{d g-c h}{d}+\frac{h x}{d}\right )} \, dx,x,c+d x\right )}{h}+\frac{\left (2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{g+h x} \, dx}{b g-a h}-\frac{\left (2 b^2 p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{a+b x} \, dx}{h (b g-a h)}+\frac{\left (2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{g+h x} \, dx}{d g-c h}-\frac{\left (2 d^2 q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )\right ) \int \frac{1}{c+d x} \, dx}{h (d g-c h)}\\ &=-\frac{2 b p r \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (b g-a h)}-\frac{2 d q r \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (b g-a h)}+\frac{2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (d g-c h)}-\frac{\left (2 p^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{\frac{b g-a h}{b}+\frac{h x}{b}} \, dx,x,a+b x\right )}{b g-a h}+\frac{\left (2 b p^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,a+b x\right )}{h (b g-a h)}-\frac{\left (2 b p q r^2\right ) \int \frac{\log (c+d x)}{g+h x} \, dx}{b g-a h}+\frac{\left (2 b^2 p q r^2\right ) \int \frac{\log (c+d x)}{a+b x} \, dx}{h (b g-a h)}-\frac{\left (2 d p q r^2\right ) \int \frac{\log (a+b x)}{g+h x} \, dx}{d g-c h}+\frac{\left (2 d^2 p q r^2\right ) \int \frac{\log (a+b x)}{c+d x} \, dx}{h (d g-c h)}-\frac{\left (2 q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{\frac{d g-c h}{d}+\frac{h x}{d}} \, dx,x,c+d x\right )}{d g-c h}+\frac{\left (2 d q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,c+d x\right )}{h (d g-c h)}\\ &=\frac{b p^2 r^2 \log ^2(a+b x)}{h (b g-a h)}+\frac{2 b p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{h (b g-a h)}+\frac{d q^2 r^2 \log ^2(c+d x)}{h (d g-c h)}+\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{h (d g-c h)}-\frac{2 b p r \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (b g-a h)}-\frac{2 d q r \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (b g-a h)}+\frac{2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (d g-c h)}-\frac{2 b p^2 r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (b g-a h)}-\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (d g-c h)}-\frac{2 b p q r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (b g-a h)}-\frac{2 d q^2 r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (d g-c h)}+\frac{\left (2 b p^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{h x}{b g-a h}\right )}{x} \, dx,x,a+b x\right )}{h (b g-a h)}-\frac{\left (2 b d p q r^2\right ) \int \frac{\log \left (\frac{d (a+b x)}{-b c+a d}\right )}{c+d x} \, dx}{h (b g-a h)}+\frac{\left (2 b d p q r^2\right ) \int \frac{\log \left (\frac{d (g+h x)}{d g-c h}\right )}{c+d x} \, dx}{h (b g-a h)}-\frac{\left (2 b d p q r^2\right ) \int \frac{\log \left (\frac{b (c+d x)}{b c-a d}\right )}{a+b x} \, dx}{h (d g-c h)}+\frac{\left (2 b d p q r^2\right ) \int \frac{\log \left (\frac{b (g+h x)}{b g-a h}\right )}{a+b x} \, dx}{h (d g-c h)}+\frac{\left (2 d q^2 r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{h x}{d g-c h}\right )}{x} \, dx,x,c+d x\right )}{h (d g-c h)}\\ &=\frac{b p^2 r^2 \log ^2(a+b x)}{h (b g-a h)}+\frac{2 b p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{h (b g-a h)}+\frac{d q^2 r^2 \log ^2(c+d x)}{h (d g-c h)}+\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{h (d g-c h)}-\frac{2 b p r \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (b g-a h)}-\frac{2 d q r \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (b g-a h)}+\frac{2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (d g-c h)}-\frac{2 b p^2 r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (b g-a h)}-\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (d g-c h)}-\frac{2 b p q r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (b g-a h)}-\frac{2 d q^2 r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (d g-c h)}-\frac{2 b p^2 r^2 \text{Li}_2\left (-\frac{h (a+b x)}{b g-a h}\right )}{h (b g-a h)}-\frac{2 d q^2 r^2 \text{Li}_2\left (-\frac{h (c+d x)}{d g-c h}\right )}{h (d g-c h)}-\frac{\left (2 b p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{b x}{-b c+a d}\right )}{x} \, dx,x,c+d x\right )}{h (b g-a h)}+\frac{\left (2 b p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{h x}{d g-c h}\right )}{x} \, dx,x,c+d x\right )}{h (b g-a h)}-\frac{\left (2 d p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{d x}{b c-a d}\right )}{x} \, dx,x,a+b x\right )}{h (d g-c h)}+\frac{\left (2 d p q r^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{h x}{b g-a h}\right )}{x} \, dx,x,a+b x\right )}{h (d g-c h)}\\ &=\frac{b p^2 r^2 \log ^2(a+b x)}{h (b g-a h)}+\frac{2 b p q r^2 \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{h (b g-a h)}+\frac{d q^2 r^2 \log ^2(c+d x)}{h (d g-c h)}+\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{h (d g-c h)}-\frac{2 b p r \log (a+b x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (b g-a h)}-\frac{2 d q r \log (c+d x) \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right )}{h (d g-c h)}-\frac{\log ^2\left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )}{h (g+h x)}+\frac{2 b p r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (b g-a h)}+\frac{2 d q r \left (p r \log (a+b x)+q r \log (c+d x)-\log \left (e \left (f (a+b x)^p (c+d x)^q\right )^r\right )\right ) \log (g+h x)}{h (d g-c h)}-\frac{2 b p^2 r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (b g-a h)}-\frac{2 d p q r^2 \log (a+b x) \log \left (\frac{b (g+h x)}{b g-a h}\right )}{h (d g-c h)}-\frac{2 b p q r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (b g-a h)}-\frac{2 d q^2 r^2 \log (c+d x) \log \left (\frac{d (g+h x)}{d g-c h}\right )}{h (d g-c h)}+\frac{2 d p q r^2 \text{Li}_2\left (-\frac{d (a+b x)}{b c-a d}\right )}{h (d g-c h)}-\frac{2 b p^2 r^2 \text{Li}_2\left (-\frac{h (a+b x)}{b g-a h}\right )}{h (b g-a h)}-\frac{2 d p q r^2 \text{Li}_2\left (-\frac{h (a+b x)}{b g-a h}\right )}{h (d g-c h)}+\frac{2 b p q r^2 \text{Li}_2\left (\frac{b (c+d x)}{b c-a d}\right )}{h (b g-a h)}-\frac{2 b p q r^2 \text{Li}_2\left (-\frac{h (c+d x)}{d g-c h}\right )}{h (b g-a h)}-\frac{2 d q^2 r^2 \text{Li}_2\left (-\frac{h (c+d x)}{d g-c h}\right )}{h (d g-c h)}\\ \end{align*}

Mathematica [B]  time = 2.67099, size = 2930, normalized size = 3.52 \[ \text{Result too large to show} \]

Antiderivative was successfully verified.

[In]

Integrate[Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2/(g + h*x)^2,x]

[Out]

(-(b*d*g^2*p^2*r^2*Log[a + b*x]^2) + b*c*g*h*p^2*r^2*Log[a + b*x]^2 - b*d*g*h*p^2*r^2*x*Log[a + b*x]^2 + b*c*h
^2*p^2*r^2*x*Log[a + b*x]^2 - 2*b*d*g^2*p*q*r^2*Log[a + b*x]*Log[c + d*x] + 2*a*d*g*h*p*q*r^2*Log[a + b*x]*Log
[c + d*x] - 2*b*d*g*h*p*q*r^2*x*Log[a + b*x]*Log[c + d*x] + 2*a*d*h^2*p*q*r^2*x*Log[a + b*x]*Log[c + d*x] - b*
d*g^2*q^2*r^2*Log[c + d*x]^2 + a*d*g*h*q^2*r^2*Log[c + d*x]^2 - b*d*g*h*q^2*r^2*x*Log[c + d*x]^2 + a*d*h^2*q^2
*r^2*x*Log[c + d*x]^2 + 2*b*c*g*h*p*q*r^2*Log[a + b*x]*Log[(h*(c + d*x))/(-(d*g) + c*h)] - 2*a*d*g*h*p*q*r^2*L
og[a + b*x]*Log[(h*(c + d*x))/(-(d*g) + c*h)] + 2*b*c*h^2*p*q*r^2*x*Log[a + b*x]*Log[(h*(c + d*x))/(-(d*g) + c
*h)] - 2*a*d*h^2*p*q*r^2*x*Log[a + b*x]*Log[(h*(c + d*x))/(-(d*g) + c*h)] - b*c*g*h*p*q*r^2*Log[(h*(c + d*x))/
(-(d*g) + c*h)]^2 + a*d*g*h*p*q*r^2*Log[(h*(c + d*x))/(-(d*g) + c*h)]^2 - b*c*h^2*p*q*r^2*x*Log[(h*(c + d*x))/
(-(d*g) + c*h)]^2 + a*d*h^2*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g) + c*h)]^2 + 2*b*c*g*h*p*q*r^2*Log[(-(b*c) + a*
d)/(d*(a + b*x))]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] - 2*a*d*g*h*p*q*r^2*Log[(-(b*c) + a*d)/
(d*(a + b*x))]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] + 2*b*c*h^2*p*q*r^2*x*Log[(-(b*c) + a*d)/(
d*(a + b*x))]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] - 2*a*d*h^2*p*q*r^2*x*Log[(-(b*c) + a*d)/(d
*(a + b*x))]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] + 2*b*c*g*h*p*q*r^2*Log[(h*(c + d*x))/(-(d*g
) + c*h)]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] - 2*a*d*g*h*p*q*r^2*Log[(h*(c + d*x))/(-(d*g) +
 c*h)]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] + 2*b*c*h^2*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g) +
c*h)]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] - 2*a*d*h^2*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g) + c
*h)]*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))] - b*c*g*h*p*q*r^2*Log[((b*g - a*h)*(c + d*x))/((d*g
- c*h)*(a + b*x))]^2 + a*d*g*h*p*q*r^2*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))]^2 - b*c*h^2*p*q*r^
2*x*Log[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))]^2 + a*d*h^2*p*q*r^2*x*Log[((b*g - a*h)*(c + d*x))/((d
*g - c*h)*(a + b*x))]^2 + 2*b*d*g^2*p*r*Log[a + b*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r] - 2*b*c*g*h*p*r*Log[
a + b*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r] + 2*b*d*g*h*p*r*x*Log[a + b*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)
^r] - 2*b*c*h^2*p*r*x*Log[a + b*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r] + 2*b*d*g^2*q*r*Log[c + d*x]*Log[e*(f*
(a + b*x)^p*(c + d*x)^q)^r] - 2*a*d*g*h*q*r*Log[c + d*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r] + 2*b*d*g*h*q*r*
x*Log[c + d*x]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r] - 2*a*d*h^2*q*r*x*Log[c + d*x]*Log[e*(f*(a + b*x)^p*(c + d
*x)^q)^r] - b*d*g^2*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2 + b*c*g*h*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2 +
a*d*g*h*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2 - a*c*h^2*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^2 - 2*b*d*g^2*p*
q*r^2*Log[a + b*x]*Log[(b*(g + h*x))/(b*g - a*h)] + 2*a*d*g*h*p*q*r^2*Log[a + b*x]*Log[(b*(g + h*x))/(b*g - a*
h)] - 2*b*d*g*h*p*q*r^2*x*Log[a + b*x]*Log[(b*(g + h*x))/(b*g - a*h)] + 2*a*d*h^2*p*q*r^2*x*Log[a + b*x]*Log[(
b*(g + h*x))/(b*g - a*h)] + 2*b*d*g^2*p*q*r^2*Log[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(b*(g + h*x))/(b*g - a*h)]
 - 2*b*c*g*h*p*q*r^2*Log[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(b*(g + h*x))/(b*g - a*h)] + 2*b*d*g*h*p*q*r^2*x*Lo
g[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(b*(g + h*x))/(b*g - a*h)] - 2*b*c*h^2*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g)
 + c*h)]*Log[(b*(g + h*x))/(b*g - a*h)] - 2*b*d*g^2*p*r*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log[(b*(g + h*x))
/(b*g - a*h)] + 2*b*c*g*h*p*r*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log[(b*(g + h*x))/(b*g - a*h)] - 2*b*d*g*h*
p*r*x*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log[(b*(g + h*x))/(b*g - a*h)] + 2*b*c*h^2*p*r*x*Log[e*(f*(a + b*x)
^p*(c + d*x)^q)^r]*Log[(b*(g + h*x))/(b*g - a*h)] + 2*b*d*g^2*p*q*r^2*Log[a + b*x]*Log[(d*(g + h*x))/(d*g - c*
h)] - 2*a*d*g*h*p*q*r^2*Log[a + b*x]*Log[(d*(g + h*x))/(d*g - c*h)] + 2*b*d*g*h*p*q*r^2*x*Log[a + b*x]*Log[(d*
(g + h*x))/(d*g - c*h)] - 2*a*d*h^2*p*q*r^2*x*Log[a + b*x]*Log[(d*(g + h*x))/(d*g - c*h)] - 2*b*d*g^2*p*q*r^2*
Log[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(d*(g + h*x))/(d*g - c*h)] + 2*b*c*g*h*p*q*r^2*Log[(h*(c + d*x))/(-(d*g)
 + c*h)]*Log[(d*(g + h*x))/(d*g - c*h)] - 2*b*d*g*h*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(d*(g + h*
x))/(d*g - c*h)] + 2*b*c*h^2*p*q*r^2*x*Log[(h*(c + d*x))/(-(d*g) + c*h)]*Log[(d*(g + h*x))/(d*g - c*h)] - 2*b*
d*g^2*q*r*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log[(d*(g + h*x))/(d*g - c*h)] + 2*a*d*g*h*q*r*Log[e*(f*(a + b*
x)^p*(c + d*x)^q)^r]*Log[(d*(g + h*x))/(d*g - c*h)] - 2*b*d*g*h*q*r*x*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log
[(d*(g + h*x))/(d*g - c*h)] + 2*a*d*h^2*q*r*x*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]*Log[(d*(g + h*x))/(d*g - c*
h)] + 2*p*(b*c*h*p + a*d*h*q - b*d*g*(p + q))*r^2*(g + h*x)*PolyLog[2, (h*(a + b*x))/(-(b*g) + a*h)] + 2*q*(b*
c*h*p + a*d*h*q - b*d*g*(p + q))*r^2*(g + h*x)*PolyLog[2, (h*(c + d*x))/(-(d*g) + c*h)] + 2*b*c*g*h*p*q*r^2*Po
lyLog[2, (b*(c + d*x))/(d*(a + b*x))] - 2*a*d*g*h*p*q*r^2*PolyLog[2, (b*(c + d*x))/(d*(a + b*x))] + 2*b*c*h^2*
p*q*r^2*x*PolyLog[2, (b*(c + d*x))/(d*(a + b*x))] - 2*a*d*h^2*p*q*r^2*x*PolyLog[2, (b*(c + d*x))/(d*(a + b*x))
])/(h*(-(b*g) + a*h)*(-(d*g) + c*h)*(g + h*x))

________________________________________________________________________________________

Maple [F]  time = 0.498, size = 0, normalized size = 0. \begin{align*} \int{\frac{ \left ( \ln \left ( e \left ( f \left ( bx+a \right ) ^{p} \left ( dx+c \right ) ^{q} \right ) ^{r} \right ) \right ) ^{2}}{ \left ( hx+g \right ) ^{2}}}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(ln(e*(f*(b*x+a)^p*(d*x+c)^q)^r)^2/(h*x+g)^2,x)

[Out]

int(ln(e*(f*(b*x+a)^p*(d*x+c)^q)^r)^2/(h*x+g)^2,x)

________________________________________________________________________________________

Maxima [A]  time = 1.57674, size = 1006, normalized size = 1.21 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(e*(f*(b*x+a)^p*(d*x+c)^q)^r)^2/(h*x+g)^2,x, algorithm="maxima")

[Out]

2*(b*f*p*log(b*x + a)/(b*g - a*h) + d*f*q*log(d*x + c)/(d*g - c*h) - (a*d*f*h*q - (d*f*g*(p + q) - c*f*h*p)*b)
*log(h*x + g)/((d*g*h - c*h^2)*a - (d*g^2 - c*g*h)*b))*r*log(((b*x + a)^p*(d*x + c)^q*f)^r*e)/(f*h) - (2*(b*c*
f^2*h*p*q - a*d*f^2*h*p*q)*(log(b*x + a)*log((b*d*x + a*d)/(b*c - a*d) + 1) + dilog(-(b*d*x + a*d)/(b*c - a*d)
))/((d*g*h - c*h^2)*a - (d*g^2 - c*g*h)*b) + 2*(a*d*f^2*h*p*q + (c*f^2*h*p^2 - (p^2 + p*q)*d*f^2*g)*b)*(log(b*
x + a)*log((b*h*x + a*h)/(b*g - a*h) + 1) + dilog(-(b*h*x + a*h)/(b*g - a*h)))/((d*g*h - c*h^2)*a - (d*g^2 - c
*g*h)*b) + 2*(a*d*f^2*h*q^2 + (c*f^2*h*p*q - (p*q + q^2)*d*f^2*g)*b)*(log(d*x + c)*log((d*h*x + c*h)/(d*g - c*
h) + 1) + dilog(-(d*h*x + c*h)/(d*g - c*h)))/((d*g*h - c*h^2)*a - (d*g^2 - c*g*h)*b) - ((d*f^2*g*p^2 - c*f^2*h
*p^2)*b*log(b*x + a)^2 + 2*(b*d*f^2*g*p*q - a*d*f^2*h*p*q)*log(b*x + a)*log(d*x + c) + (b*d*f^2*g*q^2 - a*d*f^
2*h*q^2)*log(d*x + c)^2 + 2*((a*d*f^2*h*p*q + (c*f^2*h*p^2 - (p^2 + p*q)*d*f^2*g)*b)*log(b*x + a) + (a*d*f^2*h
*q^2 + (c*f^2*h*p*q - (p*q + q^2)*d*f^2*g)*b)*log(d*x + c))*log(h*x + g))/((d*g*h - c*h^2)*a - (d*g^2 - c*g*h)
*b))*r^2/(f^2*h) - log(((b*x + a)^p*(d*x + c)^q*f)^r*e)^2/((h*x + g)*h)

________________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )^{2}}{h^{2} x^{2} + 2 \, g h x + g^{2}}, x\right ) \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(e*(f*(b*x+a)^p*(d*x+c)^q)^r)^2/(h*x+g)^2,x, algorithm="fricas")

[Out]

integral(log(((b*x + a)^p*(d*x + c)^q*f)^r*e)^2/(h^2*x^2 + 2*g*h*x + g^2), x)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(ln(e*(f*(b*x+a)**p*(d*x+c)**q)**r)**2/(h*x+g)**2,x)

[Out]

Timed out

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (\left ({\left (b x + a\right )}^{p}{\left (d x + c\right )}^{q} f\right )^{r} e\right )^{2}}{{\left (h x + g\right )}^{2}}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(e*(f*(b*x+a)^p*(d*x+c)^q)^r)^2/(h*x+g)^2,x, algorithm="giac")

[Out]

integrate(log(((b*x + a)^p*(d*x + c)^q*f)^r*e)^2/(h*x + g)^2, x)